Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000C14 | Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | Proceedings 1st Workshop on Formal Integrated Development Environment |
| 001977 | Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
| 008794 | Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008812 | Dominique Méry [France] ; Beverly Sanders [États-Unis] | Editorial Note |
| 009E95 | Beverly Sanders [États-Unis] ; Dominique Méry [France] | Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 |
| 00A360 | Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] ; Yassine Mokhtari [France] | Animating formal specifications : a telephone simulation case study |
| 00AD08 | Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
| This area was generated with Dilib version V0.6.33. |  |